41. Elements of set theory
Author: Zehna, Peter W
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
3
.
Z45
1972
42. Equality, resemblance, and order
Author: / Ju. A. Schreider,Schreider
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
BC135
.
S3
43. Equality, resemblance and order
Author: Schreider, Ju.A
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
S53
1975
44. Finite and infinite combinatorics in sets and logic
Author: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
QA
164
.
N38
1991
45. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
Author: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
Classification :
QA
164
.
N38
1991
46. Foundations of computing : system development with set theory and logic
Author: Scheurer, Thierry
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، System design,، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
.
S29
1994
47. Foundations of computing : system development with set theory and logic
Author: Scheurer, Thierry.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design , Set theory , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
S29
1994
48. Foundations of logic and mathematics: applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
Classification :
QA
9
.
N53
2002
49. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
Classification :
QA
9
.
N53
2002
50. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Nievergelt, Yves, 4591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
Classification :
QA
9
.
N5
51. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
52. Fundamentals of mathematical logic /
Author: Peter G. Hinman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
Classification :
QA9
.
H527
2005
53. Fundamentals of mathematics
Author: Bernd S. W. Schreoder
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
S36F8
2010
54. Fundamentals of mathematics: an introduction to proofs, logic, sets, and numbers
Author: Schroder, Bernd S. W. )Bernd Siegfried Walter(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
S358
2010
55. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
Author: International Summer Institute and Logic Colloquium, University of Kiel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
no
.
499
56. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author: edited by G. H. Muller, A. Oberschelp, K. Potthoff
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
1
.
L4
v
.
499
57. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Author: edited by G. H. Muller, A. Oberschelp, and K. Potthoff
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
Vol
.
499
58. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
no
.
499
59. Infinity and the mind: the science and philosophy of the infinite
Author: / by Rucker
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,symbolic and mathematical,Set theory,Infinite
Classification :
511
.
3
R911i
60. Infinity and the mind : the science and philosophy of the infinite
Author: Rucker, Rudy v. B.)Rudy von Bitter(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Infinite
Classification :
QA
9
.
R79
1982b
